%ifdef CONFIG
{
  "HostFeatures": ["AVX"],
  "RegData": {
    "XMM0": ["0x4142434445464748", "0x5152535455565758", "0x6162636465666768", "0x7172737475767778"],
    "XMM1": ["0x3FF0000000000000", "0x5152535455565758", "0x0000000000000000", "0x0000000000000000"],
    "XMM2": ["0x4000000000000000", "0x5152535455565758", "0x0000000000000000", "0x0000000000000000"],
    "XMM3": ["0x4008000000000000", "0x5152535455565758", "0x0000000000000000", "0x0000000000000000"],
    "XMM4": ["0x4010000000000000", "0x5152535455565758", "0x0000000000000000", "0x0000000000000000"]
  }
}
%endif

lea rdx, [rel .data]

vmovapd ymm0, [rdx]

mov rax, [rdx + 32]
mov rbx, [rdx + 40]

vcvtsi2sd xmm1, xmm0, rax
vcvtsi2sd xmm2, xmm0, ebx

vcvtsi2sd xmm3, xmm0, dword [rdx + 48]
vcvtsi2sd xmm4, xmm0, qword [rdx + 56]

hlt

align 32
.data:
dq 0x4142434445464748
dq 0x5152535455565758
dq 0x6162636465666768
dq 0x7172737475767778

dq 0x0000000000000001
dq 0x0000000000000002
dq 0x0000000000000003
dq 0x0000000000000004
